acm sigbed
|
emsoft
|
participants
Michele Chiari
EMSOFT 2025: 25th International Conference on Embedded Software
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
Beatrice Melani
,
Ezio Bartocci
, and
Michele Chiari
10.1145/3759917
https://arxiv.org/abs/2507.21598